/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASB30/FONT#2=ASI30[LSP,JRA]/FONT#3=GRK30/FONT#4=METL/FONT#5=METS









␈↓ α∧␈↓␈↓ ∧W␈↓↓RESUME OF JOHN R. ALLEN␈↓




␈↓ α∧␈↓␈↓↓BORN:␈↓␈↓ ∧4September 2, 1937

␈↓ α∧␈↓␈↓↓ADDRESS:␈↓␈↓ ∧418215 Bayview Drive
␈↓ α∧␈↓    ␈↓ ∧4Los Gatos, Ca 95030

␈↓ α∧␈↓␈↓↓PHONE:␈↓␈↓ ∧4(408) 353-3857

␈↓ α∧␈↓␈↓↓EDUCATION:␈↓
␈↓ α∧␈↓␈↓ β∀B.A. in Mathematics (with honors),
␈↓ α∧␈↓␈↓ β∀Michigan Technological University, Houghton Michigan, 1959

␈↓ α∧␈↓␈↓ β∀M.A. in Mathematics,
␈↓ α∧␈↓␈↓ β∀University of California, Santa Barbara, California, 1962

␈↓ α∧␈↓␈↓ β∀Graduate work in Computer Science,
␈↓ α∧␈↓␈↓ β∀Stanford University, Stanford, California, 1966-1969

␈↓ α∧␈↓␈↓↓EXPERIENCE:␈↓
␈↓ α∧␈↓␈↓ αd1959-1960␈↓ ∧∧Burroughs Corp.
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Sierra Madre, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Mathematical programmer
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(machine language programming of various mathematical
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ problems)

␈↓ α∧␈↓␈↓ αd1963-1965␈↓ ∧∧General Motors Research Labs
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Goleta, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧mathematical and systems programmer
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(general mathematical programming;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ development of LISP for IBM7040;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ maintenance and modification of 7040 operating system)

␈↓ α∧␈↓␈↓ αd1965-1970␈↓ ∧∧Stanford University
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Stanford, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ 1965-1966 systems programmer, Stanford AI Lab
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ (design and develop the first AI Lab time-sharing system;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  implement the Culler-Fried system on this machine;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  maintain and extend the PDP-6 operating systems)



␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ 1966-1968 student research assistant, Stanford AI Lab
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ (develop Stanford LISP, and maintain system;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  design and implement the Stanford LISP editor;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  design and implement the arbitrary-precision numeric
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧   package and  the LISP interface to Fortran and
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧   machine-language subsystems;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  Research in resolution theory and interactive theorem-proving)

␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ 1969-1970 systems programmer and researcher, Stanford
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  Institute for Mathematical Studies in the Social Sciences
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ (continuing research on theorem-proving, and applications to
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  educational areas; general consultant on PDP-10 system.

␈↓ α∧␈↓␈↓ αd1970-1972␈↓ ∧∧University of California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Computer Science Department
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Los Angeles, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Assistant professor of computer science
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(teach courses in basic machine and systems organization,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  data structures, compiler construction, and semantics of
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  programming languages.
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ Organize graduate seminar on extensible
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  languages, correctness, and language design
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ Advising of graduate and undergraduate students.
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ Research in theorem-proving and language design)

␈↓ α∧␈↓␈↓ αd1972-1975␈↓ ∧∧Stanford University
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Stanford, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Research Associate in Computer Science
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(research in the theory and applications of theorem-proving,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ automatic programming and program verification)

␈↓ α∧␈↓␈↓ αd1975-1978␈↓ ∧∧Hewlett-Packard
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Research Laboratories
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Palo Alto, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Member, Technical Staff
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(Specify a machine architecture which would be attractive
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  to the AI community;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ educate the management and staff about the needs and
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  expectations of the AI community;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ outline applications of AI technology to future
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  products;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ specify the architecture for a LISP processor;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ specify a bit-mapped terminal system which would support
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  a multiple-font document production system;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ design and implement an operating system  and full screen
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  text editing system for a prototype HP9845 -- a desktop
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  16-bit dual processor computer with bit-mapped display;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ specify a LISP implementation for this desktop machine)



␈↓ α∧␈↓␈↓ αd1978-1979␈↓ ∧∧ Signetics Corporation
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Microprocessor Division
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Sunnyvale, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Senior Product Engineer
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(Specify the human interface for the next generation develop-
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  ment machine;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ specify a prototype development system and implement a soft-
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  ware breadboard on that machine;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ participate in the development of a system implementation
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  language for the new system;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ specify the methodology for the development and testing of
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  software products)

␈↓ α∧␈↓␈↓↓OTHER EXPERIENCE:␈↓
␈↓ α∧␈↓␈↓ αd1973 and 1974, Guest Lecturer,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Information Sciences Department,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧University of California,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Santa Cruz, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(Teaching short courses on LISP and abstract data structures
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ in their graduate workshop)

␈↓ α∧␈↓␈↓ αd1975 and 1976, Lecturer,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Mathematics Department
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧San Jose State University
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧San Jose, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(Develop and teach one-semester graduate courses using
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  my book, ␈↓αAnatomy of LISP␈↓;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ organize and teach graduate seminar on the mathematical
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  theory of computation;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ specify and advise thesis work of a graduate mathematics
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  student)

␈↓ α∧␈↓␈↓ αd1979, Guest Lecturer,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Information Sciences Department,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧University of California,
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧Santa Cruz, California
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧(Teaching three-week segment on LISP in  the Artificial
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  Intelligence course;
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧ lecturing on storage management and garbage collection
␈↓ α∧␈↓␈↓ αd␈↓ ∧∧  in the Data Structures course)



␈↓ α∧␈↓␈↓↓CURRENT ACTIVITY:␈↓
␈↓ α∧␈↓␈↓ αdOrganizing an international LISP conference for 1980.

␈↓ α∧␈↓␈↓ αdFounder of ␈↓∧T␈↓¬HE ␈↓∧L␈↓¬ISP ␈↓∧C␈↓¬OMPANY␈↓,  a company to produce
␈↓ α∧␈↓␈↓ αd high quality LISP implementations  and applications.

␈↓ α∧␈↓␈↓ αdWriting an introductory LISP book to complement our LISP
␈↓ α∧␈↓␈↓ αd implementation.

␈↓ α∧␈↓␈↓↓PUBLICATIONS:␈↓
␈↓ α∧␈↓␈↓ αd␈↓αThor: A Display-based Time-sharing System␈↓, SJCC, 1967, with
␈↓ α∧␈↓␈↓ αd  John McCarthy, Dow Brian, and Gary Feldman.

␈↓ α∧␈↓␈↓ αd␈↓αAlvine: A LISP editor␈↓, Stanford AI Laboratory Operating
␈↓ α∧␈↓␈↓ αd  Note, 1968.

␈↓ α∧␈↓␈↓ αd␈↓αAn Interactive Theorem Prover␈↓, Machine Intelligence, Vol. 5,
␈↓ α∧␈↓␈↓ αd  1970, with  David Luckham.

␈↓ α∧␈↓␈↓ αd␈↓αAnatomy of LISP␈↓, McGraw-Hill, 1978.

␈↓ α∧␈↓␈↓ αd␈↓αDon't Overlook LISP␈↓, Guest Editorial for the March 1979
␈↓ α∧␈↓␈↓ αd  ␈↓αBYTE␈↓ magazine.

␈↓ α∧␈↓␈↓ αdGuest Editor of the ␈↓αBYTE␈↓ issue (August 1979) on LISP-related
␈↓ α∧␈↓␈↓ αd activities in computer science:  applications, implementations,
␈↓ α∧␈↓␈↓ αd extensions, and theory. Wrote the introductory LISP article for
␈↓ α∧␈↓␈↓ αd that issue.